package net.folab.adi.core.exam;

import net.folab.adi.core.Article;
import net.folab.adi.core.block.InlineBlock;
import net.folab.adi.core.division.AParagraph;
import net.folab.adi.core.division.ASection;
import net.folab.adi.core.inline.InlineText;

public class Overview {

	public static Article createArticle() {
		Article article = new Article("On Computable Numbers, with an Application to the Entscheidungsproblem");
		article.add(createSection_2());
		return article;
	}

	private static ASection createSection_2() {
		ASection section = new ASection("Definition");
		section.add(createParagraph_2_1());
		section.add(createParagraph_2_2());
		return section;
	}

	private static AParagraph createParagraph_2_1() {
		AParagraph paragraph = new AParagraph("Automatic machines.");
		InlineBlock block = new InlineBlock();
		block.add(new InlineText("If at each stage the motion of a machine (in the sense of §1) is completely determined by the configuration, we shall call the machine an “automatic machine” (or a-machine)."));
		block.add(new InlineText("For some purposes we might use machines (choice machines or c-machines) whose motion is only partially determined by the configuration (hence the use of the word “possible” in §1)."));
		block.add(new InlineText("When such a machine reaches one of these ambiguous configurations, it cannot go on until some arbitrary choice has been made by an external operator."));
		block.add(new InlineText("This would be the case if we were using machines to deal with axiomatic systems."));
		block.add(new InlineText("In this paper I deal only with automatic machines, and will therefore often omit the prefix a-."));
		return paragraph;
	}

	private static AParagraph createParagraph_2_2() {
		AParagraph paragraph = new AParagraph("Computing machines.");
		return paragraph;
	}

}
